<?php
session_start();
$_SESSION["userid"] = null;

?>